Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
791	Microsoft Word - Written evidence front cover.docx Add to Reading List Source URL: dematerialisedid.com Language: English - Date: 2011-03-01 07:27:50 Software engineering Information security Science Public safety Strategic information system UK Academy for Information Systems Security Methodology Software development process
792	A JVM for Soft-Error-Prone Embedded Systems Isabella Stilkerich Michael Strotz Christoph Erhardt Martin Hoffmann Fabian Scheler Wolfgang Schr¨oder-Preikschat Add to Reading List Source URL: www4.cs.fau.de Language: English - Date: 2013-04-25 10:47:45 Cross-platform software Type theory Software bugs Data types Memory management Pointer C Memory safety Type system Computing Software engineering Computer programming
793	The IFC project at the Group for Programming Paradigms Prof. Dr.-Ing. Gregor Snelting Programming paradigms group – topics ñ Add to Reading List Source URL: pp.info.uni-karlsruhe.de Language: English - Date: 2009-11-09 07:32:23 Type theory Compiler construction Breton language Spanish language Ñ Programming language Type safety Compiler Type system Software engineering Computing Programming language theory
794	Learn About Newly Established Federal Procurement Strategies and How Your Products Can Fit into Future Government IT Solutions Presents a training workshop: Add to Reading List Source URL: www.itlegacymodernization.com Language: English - Date: 2014-06-19 07:43:06 Software maintenance Software modernization Legacy system Information security Chief information officer Government procurement in the United States American Recovery and Reinvestment Act COBOL United States Department of Veterans Affairs Government Public safety Security
795	Newcastle Chambers of Engineering Is your System Safe, Is It Reliable? Wind farm operators are aware that good reliable systems are needed to ensure all aspects of running and maintaining wind farms are safe and efficie Add to Reading List Source URL: www.ncoe.co.uk Language: English - Date: 2013-09-16 05:39:12 Software quality Systems engineering Functional Safety IEC 61508 Hazard and operability study Safety Integrity Level Occupational safety and health Reliability engineering Life-critical system Safety Risk Security
796	The CCured Type System and Type Inference Westley Weimer University of California, Berkeley [removed] Report No. UCB/CSD[removed] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2003-12-17 16:46:36 Data types C++ C programming language Primitive types Type theory Pointer Type safety C Type system Software engineering Computing Computer programming
797	Jean-Claude Laprie Award in Dependable Computing Dr. Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His u Add to Reading List Source URL: www.dsn.org Language: English - Date: 2014-05-20 15:15:17 Systems engineering Safety Dependability Quality Fault-tolerant system Fault-tolerant design Byzantine fault tolerance Software fault tolerance Application checkpointing Computing Fault-tolerant computer systems Software quality
798	Validating Java™ for Safety-Critical Applications Jean-Marie Dautelle* Raytheon Company, Marlborough, MA, 01752 With the real-time extensions, Java can now be used for safety critical systems. It is therefore primordia Add to Reading List Source URL: javolution.org Language: English - Date: 2012-11-18 13:29:51 Cross-platform software Java virtual machine Virtual machines Java programming language Real-time computing Real time Java Javolution Garbage collection Java Computing Software System software
799	Parameterized Types for GOO by James Knight S.B. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology (2002) Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2002-09-26 10:07:51 Programming language theory Data types Polymorphism Method Object-oriented programming Type system Constructor Subtype polymorphism Type safety Software engineering Computing Type theory
800	To Err is Human Aaron B. Brown and David A. Patterson Computer Science Division, University of California at Berkeley {abrown,pattrsn}@cs.berkeley.edu Abstract Add to Reading List Source URL: roc.cs.berkeley.edu Language: English - Date: 2002-06-04 00:40:14 Software quality Fault-tolerant computer systems Safety Dependability Fault-tolerant system Human reliability Reliability engineering Human factors Downtime Computing Knowledge Systems engineering

UPDATE